[INFO] fetching crate rsmt2-zz 0.11.1...
[INFO] checking rsmt2-zz-0.11.1 against master#e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682 for beta-170-4
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rsmt2-zz 0.11.1
[INFO] finished tweaking crates.io crate rsmt2-zz 0.11.1
[INFO] tweaked toml for crates.io crate rsmt2-zz 0.11.1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f5fd7b0005c462a497a64038dd9e7bee2c78be88e76cdf08017cd993997e522c
[INFO] running `Command { std: "docker" "start" "-a" "f5fd7b0005c462a497a64038dd9e7bee2c78be88e76cdf08017cd993997e522c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f5fd7b0005c462a497a64038dd9e7bee2c78be88e76cdf08017cd993997e522c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5fd7b0005c462a497a64038dd9e7bee2c78be88e76cdf08017cd993997e522c", kill_on_drop: false }`
[INFO] [stdout] f5fd7b0005c462a497a64038dd9e7bee2c78be88e76cdf08017cd993997e522c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b5c1bac11c48f7d6f08f0bf11650a8e624cd5ae6d50a03d7cbcefadd4aa8eb5c
[INFO] running `Command { std: "docker" "start" "-a" "b5c1bac11c48f7d6f08f0bf11650a8e624cd5ae6d50a03d7cbcefadd4aa8eb5c", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling libc v0.2.144
[INFO] [stderr]    Compiling cc v1.0.79
[INFO] [stderr]     Checking gimli v0.27.2
[INFO] [stderr]     Checking rustc-demangle v0.1.23
[INFO] [stderr]     Checking miniz_oxide v0.6.2
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking object v0.30.3
[INFO] [stderr]    Compiling backtrace v0.3.67
[INFO] [stderr]     Checking addr2line v0.19.0
[INFO] [stderr]     Checking rsmt2-zz v0.11.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `rsmt2::parse::*`, `rsmt2`, `rsmt2::parse::*`
[INFO] [stdout]    --> tests/main.rs:3:5
[INFO] [stdout]     |
[INFO] [stdout] 3   | use rsmt2::{parse::*, *};
[INFO] [stdout]     |     ^^^^^   ^^^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     use of undeclared crate or module `rsmt2`
[INFO] [stdout] ...
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]    --> tests/main.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |         use rsmt2::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ValueParser` in this scope
[INFO] [stdout]   --> tests/main.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<'a> ValueParser<Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ValueParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:13:45
[INFO] [stdout]    |
[INFO] [stdout] 13 |     fn parse_value(self, input: &'a str) -> SmtRes<Val> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ExprParser` in this scope
[INFO] [stdout]   --> tests/main.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl<'a> ExprParser<Expr, (), &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ExprParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:18:51
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn parse_expr(self, input: &'a str, _: ()) -> SmtRes<Expr> {
[INFO] [stdout]    |                                                   ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `IdentParser` in this scope
[INFO] [stdout]   --> tests/main.rs:22:10
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl<'a> IdentParser<Ident, Typ, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::IdentParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:23:45
[INFO] [stdout]    |
[INFO] [stdout] 23 |     fn parse_ident(self, input: &'a str) -> SmtRes<Ident> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:26:44
[INFO] [stdout]    |
[INFO] [stdout] 26 |     fn parse_type(self, input: &'a str) -> SmtRes<Typ> {
[INFO] [stdout]    |                                            ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ModelParser` in this scope
[INFO] [stdout]   --> tests/main.rs:30:10
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl<'a> ModelParser<Ident, Typ, Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ModelParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:37:10
[INFO] [stdout]    |
[INFO] [stdout] 37 |     ) -> SmtRes<Val> {
[INFO] [stdout]    |          ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:47:20
[INFO] [stdout]    |
[INFO] [stdout] 47 |         let conf = SmtConf::cvc4();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:48:26
[INFO] [stdout]    |
[INFO] [stdout] 48 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 49 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 49 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:54:24
[INFO] [stdout]    |
[INFO] [stdout] 54 |         let mut conf = SmtConf::cvc4();
[INFO] [stdout]    |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:56:26
[INFO] [stdout]    |
[INFO] [stdout] 56 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:94:20
[INFO] [stdout]    |
[INFO] [stdout] 94 |         let conf = SmtConf::z3();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:96:26
[INFO] [stdout]    |
[INFO] [stdout] 96 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 96 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 96 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:101:24
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut conf = SmtConf::z3();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:132:26
[INFO] [stdout]     |
[INFO] [stdout] 132 |         let mut solver = Solver::default(()).unwrap();
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:170:32
[INFO] [stdout]     |
[INFO] [stdout] 170 |         let mut solver = match Solver::default(()) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:206:20
[INFO] [stdout]     |
[INFO] [stdout] 206 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:207:26
[INFO] [stdout]     |
[INFO] [stdout] 207 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:208:26
[INFO] [stdout]     |
[INFO] [stdout] 208 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 208 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 208 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:213:20
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:214:26
[INFO] [stdout]     |
[INFO] [stdout] 214 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:216:26
[INFO] [stdout]     |
[INFO] [stdout] 216 |         solver.set_logic(Logic::QF_LIA).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:259:24
[INFO] [stdout]     |
[INFO] [stdout] 259 |         let mut conf = SmtConf::yices_2();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:262:32
[INFO] [stdout]     |
[INFO] [stdout] 262 |         let mut solver = match Solver::new(conf, Parser) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:266:26
[INFO] [stdout]     |
[INFO] [stdout] 266 |         solver.set_logic(Logic::QF_LIA).expect("set logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:298:16
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let conf = SmtConf::z3();
[INFO] [stdout]     |                ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:300:22
[INFO] [stdout]     |
[INFO] [stdout] 300 |     let mut solver = Solver::new(conf, ()).expect("solver");
[INFO] [stdout]     |                      ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:302:22
[INFO] [stdout]     |
[INFO] [stdout] 302 |     solver.set_logic(Logic::QF_UF).expect("QF_UF");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:304:22
[INFO] [stdout]     |
[INFO] [stdout] 304 |     solver.set_logic(Logic::QF_LIA).expect("QF_LIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:306:22
[INFO] [stdout]     |
[INFO] [stdout] 306 |     solver.set_logic(Logic::QF_NIA).expect("QF_NIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:308:22
[INFO] [stdout]     |
[INFO] [stdout] 308 |     solver.set_logic(Logic::QF_LRA).expect("QF_LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:310:22
[INFO] [stdout]     |
[INFO] [stdout] 310 |     solver.set_logic(Logic::QF_AUFLIA).expect("QF_AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:312:22
[INFO] [stdout]     |
[INFO] [stdout] 312 |     solver.set_logic(Logic::AUFLIA).expect("AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:314:22
[INFO] [stdout]     |
[INFO] [stdout] 314 |     solver.set_logic(Logic::AUFLIRA).expect("AUFLIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:316:22
[INFO] [stdout]     |
[INFO] [stdout] 316 |     solver.set_logic(Logic::AUFNIRA).expect("AUFNIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:318:22
[INFO] [stdout]     |
[INFO] [stdout] 318 |     solver.set_logic(Logic::LRA).expect("LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 45 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rsmt2-zz` (test "main") due to 46 previous errors
[INFO] running `Command { std: "docker" "inspect" "b5c1bac11c48f7d6f08f0bf11650a8e624cd5ae6d50a03d7cbcefadd4aa8eb5c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b5c1bac11c48f7d6f08f0bf11650a8e624cd5ae6d50a03d7cbcefadd4aa8eb5c", kill_on_drop: false }`
[INFO] [stdout] b5c1bac11c48f7d6f08f0bf11650a8e624cd5ae6d50a03d7cbcefadd4aa8eb5c
